struct datos{
  int lu;
  int nota;
};

program MM {
   version MM_1{
      int asignar_nota(datos)=1;
      int consultar_nota(int lu)=2;
   }=1;
}=0x31234567;
